منابع مشابه
Purifying Causal Atomicity
Atomicity-checking is a powerful approach for finding subtle concurrency errors in shared-memory multithreaded code. The goal is to verify that certain code sections appear to execute atomically to all other threads. This paper extends Farzan and Madhusudan’s recent work on causal atomicity [1], which uses a translation to Petri nets to avoid much of the imprecision of type-system based approac...
متن کاملPurifying XML Structures
XML has a tree structure, which allows various data expressions. In this work, we show the well-known notion of the functional dependency has an essential role in XML data modeling. The existing proposals of functional dependencies for XML are based on fixed paths, imposing severe structural constraints on XML data. We address this problem by introducing node-based functional dependencies so as...
متن کاملPurifying and Reversible Physical Processes
Starting from the observation that reversible processes cannot increase the purity of any input state, we study deterministic physical processes, which map a set of states to a set of pure states. Such a process must map any state to the same pure output, if purity is demanded for the input set of all states. But otherwise, when the input set is restricted, it is possible to find non-trivial pu...
متن کاملFull scale demonstration of air-purifying pavement.
Experiments concerning a full-scale demonstration of air purifying pavement in Hengelo, The Netherlands, are reported. The full width of the street was provided with concrete pavement containing TiO₂ over a length of 150 m ("DeNOx street"). Another part of the street, about 100 m, was paved with normal paving blocks ("Control street"). The outdoor monitoring was done during 26 days for a period...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nature
سال: 1990
ISSN: 0028-0836,1476-4687
DOI: 10.1038/345296a0